:: [Int] -> Int package:dimensional -is:exact

Extract the last element of a list, which must be finite and non-empty.
Extract the first element of a list, which must be non-empty.